Integrate sin 3 x into cos 4 x